0 Prolog
↳1 PrologToDTProblemTransformerProof (⇒, 12.9 s)
↳2 TRIPLES
↳3 TriplesToPiDPProof (⇒, 1298 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 68 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇔, 2 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 PiDP
↳17 PiDPToQDPProof (⇒, 0 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔, 0 ms)
↳23 PiDP
↳24 PiDPToQDPProof (⇒, 0 ms)
↳25 QDP
↳26 QDPSizeChangeProof (⇔, 0 ms)
↳27 YES
↳28 PiDP
↳29 UsableRulesProof (⇔, 0 ms)
↳30 PiDP
↳31 PiDPToQDPProof (⇒, 0 ms)
↳32 QDP
↳33 QDPSizeChangeProof (⇔, 0 ms)
↳34 YES
↳35 PiDP
↳36 UsableRulesProof (⇔, 0 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 0 ms)
↳39 QDP
↳40 QDPSizeChangeProof (⇔, 0 ms)
↳41 YES
↳42 PiDP
↳43 UsableRulesProof (⇔, 0 ms)
↳44 PiDP
↳45 PiDPToQDPProof (⇒, 0 ms)
↳46 QDP
↳47 QDPSizeChangeProof (⇔, 0 ms)
↳48 YES
↳49 PiDP
↳50 UsableRulesProof (⇔, 0 ms)
↳51 PiDP
↳52 PiDPToQDPProof (⇒, 0 ms)
↳53 QDP
↳54 QDPSizeChangeProof (⇔, 0 ms)
↳55 YES
↳56 PiDP
↳57 UsableRulesProof (⇔, 0 ms)
↳58 PiDP
↳59 PiDPToQDPProof (⇒, 0 ms)
↳60 QDP
↳61 QDPSizeChangeProof (⇔, 0 ms)
↳62 YES
↳63 PiDP
↳64 PiDPToQDPProof (⇒, 36 ms)
↳65 QDP
↳66 QDPSizeChangeProof (⇔, 0 ms)
↳67 YES
TRANSPOSEJ_IN_GA(.(X1, X2), X3) → U46_GA(X1, X2, X3, pI_in_gaaag(X1, X3, X4, X5, X2))
TRANSPOSEJ_IN_GA(.(X1, X2), X3) → PI_IN_GAAAG(X1, X3, X4, X5, X2)
PI_IN_GAAAG(X1, X2, X3, X4, X5) → U43_GAAAG(X1, X2, X3, X4, X5, row2colH_in_gaaa(X1, X2, X3, X4))
PI_IN_GAAAG(X1, X2, X3, X4, X5) → ROW2COLH_IN_GAAA(X1, X2, X3, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], [], []) → U29_GAAA(X1, X2, row2colA_in_g(X2))
ROW2COLH_IN_GAAA(.(X1, X2), [], [], []) → ROW2COLA_IN_G(X2)
ROW2COLA_IN_G(.(X1, X2)) → U1_G(X1, X2, row2colA_in_g(X2))
ROW2COLA_IN_G(.(X1, X2)) → ROW2COLA_IN_G(X2)
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), []) → U30_GAAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), []) → ROW2COLB_IN_GA(X2, X3)
ROW2COLB_IN_GA(.(X1, X2), []) → U2_GA(X1, X2, row2colA_in_g(X2))
ROW2COLB_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → U3_GA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → ROW2COLB_IN_GA(X2, X3)
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → U4_GA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], [], .([], X3)) → U31_GAAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), [], [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLC_IN_GA(.(X1, X2), []) → U5_GA(X1, X2, row2colA_in_g(X2))
ROW2COLC_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → U6_GA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), .([], X4)) → U32_GAAA(X1, X2, X3, X4, row2colD_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
ROW2COLD_IN_GAA(.(X1, X2), [], []) → U7_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLD_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), []) → U8_GAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLB_IN_GA(X2, X3)
ROW2COLD_IN_GAA(.(X1, X2), [], .([], X3)) → U9_GAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLD_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U10_GAA(X1, X2, X3, X4, row2colD_in_gaa(X2, X3, X4))
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), []) → U11_GAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), []) → ROW2COLB_IN_GA(X2, X4)
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → U12_GAA(X1, X2, X3, X4, X5, row2colD_in_gaa(X2, X4, X5))
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), []) → U33_GAAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), []) → ROW2COLB_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), .([], X5)) → U34_GAAA(X1, X2, X3, X4, X5, row2colD_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], []) → U35_GAAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLE_IN_GA(.(X1, X2), []) → U13_GA(X1, X2, row2colA_in_g(X2))
ROW2COLE_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → U14_GA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → ROW2COLE_IN_GA(X2, X3)
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → U15_GA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → ROW2COLE_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), []) → U36_GAAA(X1, X2, X3, X4, row2colF_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), []) → ROW2COLF_IN_GAA(X2, X3, X4)
ROW2COLF_IN_GAA(.(X1, X2), [], []) → U16_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLF_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLF_IN_GAA(.(X1, X2), [], .([], X3)) → U17_GAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLF_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLB_IN_GA(X2, X3)
ROW2COLF_IN_GAA(.(X1, X2), [], .(X3, X4)) → U18_GAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLF_IN_GAA(.(X1, X2), [], .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), []) → U19_GAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U20_GAA(X1, X2, X3, X4, row2colF_in_gaa(X2, X3, X4))
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLF_IN_GAA(X2, X3, X4)
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → U21_GAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U22_GAA(X1, X2, X3, X4, X5, row2colF_in_gaa(X2, X4, X5))
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], .([], X4)) → U37_GAAA(X1, X2, X3, X4, row2colG_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
ROW2COLG_IN_GAA(.(X1, X2), [], []) → U23_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLG_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLG_IN_GAA(.(X1, X2), [], .([], X3)) → U24_GAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLG_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), []) → U25_GAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U26_GAA(X1, X2, X3, X4, row2colG_in_gaa(X2, X3, X4))
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → U27_GAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U28_GAA(X1, X2, X3, X4, X5, row2colG_in_gaa(X2, X4, X5))
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U38_GAAA(X1, X2, X3, X4, X5, row2colH_in_gaaa(X2, X3, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → ROW2COLH_IN_GAAA(X2, X3, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], []) → U39_GAAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U40_GAAA(X1, X2, X3, X4, X5, row2colF_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U41_GAAA(X1, X2, X3, X4, X5, row2colG_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U42_GAAA(X1, X2, X3, X4, X5, X6, row2colH_in_gaaa(X2, X4, X5, X6))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → ROW2COLH_IN_GAAA(X2, X4, X5, X6)
PI_IN_GAAAG(X1, X2, X3, X4, .(X5, X6)) → U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X1, X2, X3, X4))
U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X1, X2, X3, X4)) → U45_GAAAG(X1, X2, X3, X4, X5, X6, pI_in_gaaag(X5, X3, X7, X8, X6))
U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X1, X2, X3, X4)) → PI_IN_GAAAG(X5, X3, X7, X8, X6)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
TRANSPOSEJ_IN_GA(.(X1, X2), X3) → U46_GA(X1, X2, X3, pI_in_gaaag(X1, X3, X4, X5, X2))
TRANSPOSEJ_IN_GA(.(X1, X2), X3) → PI_IN_GAAAG(X1, X3, X4, X5, X2)
PI_IN_GAAAG(X1, X2, X3, X4, X5) → U43_GAAAG(X1, X2, X3, X4, X5, row2colH_in_gaaa(X1, X2, X3, X4))
PI_IN_GAAAG(X1, X2, X3, X4, X5) → ROW2COLH_IN_GAAA(X1, X2, X3, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], [], []) → U29_GAAA(X1, X2, row2colA_in_g(X2))
ROW2COLH_IN_GAAA(.(X1, X2), [], [], []) → ROW2COLA_IN_G(X2)
ROW2COLA_IN_G(.(X1, X2)) → U1_G(X1, X2, row2colA_in_g(X2))
ROW2COLA_IN_G(.(X1, X2)) → ROW2COLA_IN_G(X2)
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), []) → U30_GAAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), []) → ROW2COLB_IN_GA(X2, X3)
ROW2COLB_IN_GA(.(X1, X2), []) → U2_GA(X1, X2, row2colA_in_g(X2))
ROW2COLB_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → U3_GA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → ROW2COLB_IN_GA(X2, X3)
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → U4_GA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], [], .([], X3)) → U31_GAAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), [], [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLC_IN_GA(.(X1, X2), []) → U5_GA(X1, X2, row2colA_in_g(X2))
ROW2COLC_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → U6_GA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), .([], X4)) → U32_GAAA(X1, X2, X3, X4, row2colD_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), [], .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
ROW2COLD_IN_GAA(.(X1, X2), [], []) → U7_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLD_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), []) → U8_GAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLB_IN_GA(X2, X3)
ROW2COLD_IN_GAA(.(X1, X2), [], .([], X3)) → U9_GAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLD_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U10_GAA(X1, X2, X3, X4, row2colD_in_gaa(X2, X3, X4))
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), []) → U11_GAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), []) → ROW2COLB_IN_GA(X2, X4)
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → U12_GAA(X1, X2, X3, X4, X5, row2colD_in_gaa(X2, X4, X5))
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), []) → U33_GAAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), []) → ROW2COLB_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), .([], X5)) → U34_GAAA(X1, X2, X3, X4, X5, row2colD_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), [], .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], []) → U35_GAAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLE_IN_GA(.(X1, X2), []) → U13_GA(X1, X2, row2colA_in_g(X2))
ROW2COLE_IN_GA(.(X1, X2), []) → ROW2COLA_IN_G(X2)
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → U14_GA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → ROW2COLE_IN_GA(X2, X3)
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → U15_GA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → ROW2COLE_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), []) → U36_GAAA(X1, X2, X3, X4, row2colF_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), []) → ROW2COLF_IN_GAA(X2, X3, X4)
ROW2COLF_IN_GAA(.(X1, X2), [], []) → U16_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLF_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLF_IN_GAA(.(X1, X2), [], .([], X3)) → U17_GAA(X1, X2, X3, row2colB_in_ga(X2, X3))
ROW2COLF_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLB_IN_GA(X2, X3)
ROW2COLF_IN_GAA(.(X1, X2), [], .(X3, X4)) → U18_GAA(X1, X2, X3, X4, row2colB_in_ga(X2, X4))
ROW2COLF_IN_GAA(.(X1, X2), [], .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), []) → U19_GAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U20_GAA(X1, X2, X3, X4, row2colF_in_gaa(X2, X3, X4))
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLF_IN_GAA(X2, X3, X4)
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → U21_GAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U22_GAA(X1, X2, X3, X4, X5, row2colF_in_gaa(X2, X4, X5))
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], .([], X4)) → U37_GAAA(X1, X2, X3, X4, row2colG_in_gaa(X2, X3, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), [], .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
ROW2COLG_IN_GAA(.(X1, X2), [], []) → U23_GAA(X1, X2, row2colA_in_g(X2))
ROW2COLG_IN_GAA(.(X1, X2), [], []) → ROW2COLA_IN_G(X2)
ROW2COLG_IN_GAA(.(X1, X2), [], .([], X3)) → U24_GAA(X1, X2, X3, row2colC_in_ga(X2, X3))
ROW2COLG_IN_GAA(.(X1, X2), [], .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), []) → U25_GAA(X1, X2, X3, row2colE_in_ga(X2, X3))
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), []) → ROW2COLE_IN_GA(X2, X3)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → U26_GAA(X1, X2, X3, X4, row2colG_in_gaa(X2, X3, X4))
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → U27_GAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U28_GAA(X1, X2, X3, X4, X5, row2colG_in_gaa(X2, X4, X5))
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U38_GAAA(X1, X2, X3, X4, X5, row2colH_in_gaaa(X2, X3, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → ROW2COLH_IN_GAAA(X2, X3, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], []) → U39_GAAA(X1, X2, X3, X4, row2colE_in_ga(X2, X4))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], []) → ROW2COLE_IN_GA(X2, X4)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U40_GAAA(X1, X2, X3, X4, X5, row2colF_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U41_GAAA(X1, X2, X3, X4, X5, row2colG_in_gaa(X2, X4, X5))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U42_GAAA(X1, X2, X3, X4, X5, X6, row2colH_in_gaaa(X2, X4, X5, X6))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → ROW2COLH_IN_GAAA(X2, X4, X5, X6)
PI_IN_GAAAG(X1, X2, X3, X4, .(X5, X6)) → U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X1, X2, X3, X4))
U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X1, X2, X3, X4)) → U45_GAAAG(X1, X2, X3, X4, X5, X6, pI_in_gaaag(X5, X3, X7, X8, X6))
U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X1, X2, X3, X4)) → PI_IN_GAAAG(X5, X3, X7, X8, X6)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLA_IN_G(.(X1, X2)) → ROW2COLA_IN_G(X2)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLA_IN_G(.(X1, X2)) → ROW2COLA_IN_G(X2)
ROW2COLA_IN_G(.(X1, X2)) → ROW2COLA_IN_G(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → ROW2COLE_IN_GA(X2, X4)
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → ROW2COLE_IN_GA(X2, X3)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLE_IN_GA(.(X1, X2), .(.(X1, X3), X4)) → ROW2COLE_IN_GA(X2, X4)
ROW2COLE_IN_GA(.(X1, X2), .([], X3)) → ROW2COLE_IN_GA(X2, X3)
ROW2COLE_IN_GA(.(X1, X2)) → ROW2COLE_IN_GA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → ROW2COLC_IN_GA(X2, X3)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLC_IN_GA(.(X1, X2), .([], X3)) → ROW2COLC_IN_GA(X2, X3)
ROW2COLC_IN_GA(.(X1, X2)) → ROW2COLC_IN_GA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLG_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → ROW2COLG_IN_GAA(X2, X4, X5)
ROW2COLG_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLG_IN_GAA(X2, X3, X4)
ROW2COLG_IN_GAA(.(X1, X2)) → ROW2COLG_IN_GAA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → ROW2COLB_IN_GA(X2, X3)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLB_IN_GA(.(X1, X2), .(X3, X4)) → ROW2COLB_IN_GA(X2, X4)
ROW2COLB_IN_GA(.(X1, X2), .([], X3)) → ROW2COLB_IN_GA(X2, X3)
ROW2COLB_IN_GA(.(X1, X2)) → ROW2COLB_IN_GA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLF_IN_GAA(X2, X3, X4)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLF_IN_GAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → ROW2COLF_IN_GAA(X2, X4, X5)
ROW2COLF_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLF_IN_GAA(X2, X3, X4)
ROW2COLF_IN_GAA(.(X1, X2)) → ROW2COLF_IN_GAA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLD_IN_GAA(.(X1, X2), .(X3, X4), .([], X5)) → ROW2COLD_IN_GAA(X2, X4, X5)
ROW2COLD_IN_GAA(.(X1, X2), .([], X3), .([], X4)) → ROW2COLD_IN_GAA(X2, X3, X4)
ROW2COLD_IN_GAA(.(X1, X2)) → ROW2COLD_IN_GAA(X2)
From the DPs we obtained the following set of size-change graphs:
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → ROW2COLH_IN_GAAA(X2, X4, X5, X6)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → ROW2COLH_IN_GAAA(X2, X3, X4, X5)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
ROW2COLH_IN_GAAA(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → ROW2COLH_IN_GAAA(X2, X4, X5, X6)
ROW2COLH_IN_GAAA(.(X1, X2), .([], X3), .([], X4), .([], X5)) → ROW2COLH_IN_GAAA(X2, X3, X4, X5)
ROW2COLH_IN_GAAA(.(X1, X2)) → ROW2COLH_IN_GAAA(X2)
From the DPs we obtained the following set of size-change graphs:
PI_IN_GAAAG(X1, X2, X3, X4, .(X5, X6)) → U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X1, X2, X3, X4))
U44_GAAAG(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X1, X2, X3, X4)) → PI_IN_GAAAG(X5, X3, X7, X8, X6)
row2colcH_in_gaaa([], [], [], []) → row2colcH_out_gaaa([], [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], [], []) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [], [], [])
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), []) → U77_gaaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga([], []) → row2colcB_out_ga([], [])
row2colcB_in_ga(.(X1, X2), []) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2), [])
row2colcB_in_ga(.(X1, X2), .([], X3)) → U50_ga(X1, X2, X3, row2colcB_in_ga(X2, X3))
row2colcB_in_ga(.(X1, X2), .(X3, X4)) → U51_ga(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U51_ga(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcB_out_ga(.(X1, X2), .(X3, X4))
U50_ga(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcB_out_ga(.(X1, X2), .([], X3))
U77_gaaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), [])
row2colcH_in_gaaa(.(X1, X2), [], [], .([], X3)) → U78_gaaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
row2colcC_in_ga([], []) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2), []) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2), .([], X3)) → U53_ga(X1, X2, X3, row2colcC_in_ga(X2, X3))
U53_ga(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), [], [], .([], X3))
row2colcH_in_gaaa(.(X1, X2), [], .([], X3), .([], X4)) → U79_gaaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa([], [], []) → row2colcD_out_gaa([], [], [])
row2colcD_in_gaa(.(X1, X2), [], []) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [], [])
row2colcD_in_gaa(.(X1, X2), .([], X3), []) → U55_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U55_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3), [])
row2colcD_in_gaa(.(X1, X2), [], .([], X3)) → U56_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U56_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), [], .([], X3))
row2colcD_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U57_gaa(X1, X2, X3, X4, row2colcD_in_gaa(X2, X3, X4))
row2colcD_in_gaa(.(X1, X2), .(X3, X4), []) → U58_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U58_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), [])
row2colcD_in_gaa(.(X1, X2), .(X3, X4), .([], X5)) → U59_gaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U59_gaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcD_out_gaa(.(X1, X2), .(X3, X4), .([], X5))
U57_gaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X3), .([], X4))
U79_gaaa(X1, X2, X3, X4, row2colcD_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .([], X3), .([], X4))
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), []) → U80_gaaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U80_gaaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), [])
row2colcH_in_gaaa(.(X1, X2), [], .(X3, X4), .([], X5)) → U81_gaaa(X1, X2, X3, X4, X5, row2colcD_in_gaa(X2, X4, X5))
U81_gaaa(X1, X2, X3, X4, X5, row2colcD_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), [], .(X3, X4), .([], X5))
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], []) → U82_gaaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga([], []) → row2colcE_out_ga([], [])
row2colcE_in_ga(.(X1, X2), []) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2), [])
row2colcE_in_ga(.(X1, X2), .([], X3)) → U61_ga(X1, X2, X3, row2colcE_in_ga(X2, X3))
row2colcE_in_ga(.(X1, X2), .(.(X1, X3), X4)) → U62_ga(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U62_ga(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcE_out_ga(.(X1, X2), .(.(X1, X3), X4))
U61_ga(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcE_out_ga(.(X1, X2), .([], X3))
U82_gaaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), []) → U83_gaaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa([], [], []) → row2colcF_out_gaa([], [], [])
row2colcF_in_gaa(.(X1, X2), [], []) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2), [], [])
row2colcF_in_gaa(.(X1, X2), [], .([], X3)) → U64_gaa(X1, X2, X3, row2colcB_in_ga(X2, X3))
U64_gaa(X1, X2, X3, row2colcB_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), [], .([], X3))
row2colcF_in_gaa(.(X1, X2), [], .(X3, X4)) → U65_gaa(X1, X2, X3, X4, row2colcB_in_ga(X2, X4))
U65_gaa(X1, X2, X3, X4, row2colcB_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), [], .(X3, X4))
row2colcF_in_gaa(.(X1, X2), .([], X3), []) → U66_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U66_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcF_out_gaa(.(X1, X2), .([], X3), [])
row2colcF_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U67_gaa(X1, X2, X3, X4, row2colcF_in_gaa(X2, X3, X4))
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U68_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U68_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcF_in_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5)) → U69_gaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U69_gaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcF_out_gaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5))
U67_gaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcF_out_gaa(.(X1, X2), .([], X3), .([], X4))
U83_gaaa(X1, X2, X3, X4, row2colcF_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), [])
row2colcH_in_gaaa(.(X1, X2), .([], X3), [], .([], X4)) → U84_gaaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa([], [], []) → row2colcG_out_gaa([], [], [])
row2colcG_in_gaa(.(X1, X2), [], []) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [], [])
row2colcG_in_gaa(.(X1, X2), [], .([], X3)) → U71_gaa(X1, X2, X3, row2colcC_in_ga(X2, X3))
U71_gaa(X1, X2, X3, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), [], .([], X3))
row2colcG_in_gaa(.(X1, X2), .([], X3), []) → U72_gaa(X1, X2, X3, row2colcE_in_ga(X2, X3))
U72_gaa(X1, X2, X3, row2colcE_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3), [])
row2colcG_in_gaa(.(X1, X2), .([], X3), .([], X4)) → U73_gaa(X1, X2, X3, X4, row2colcG_in_gaa(X2, X3, X4))
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), []) → U74_gaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U74_gaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), [])
row2colcG_in_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5)) → U75_gaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U75_gaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcG_out_gaa(.(X1, X2), .(.(X1, X3), X4), .([], X5))
U73_gaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X3), .([], X4))
U84_gaaa(X1, X2, X3, X4, row2colcG_out_gaa(X2, X3, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), [], .([], X4))
row2colcH_in_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5)) → U85_gaaa(X1, X2, X3, X4, X5, row2colcH_in_gaaa(X2, X3, X4, X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], []) → U86_gaaa(X1, X2, X3, X4, row2colcE_in_ga(X2, X4))
U86_gaaa(X1, X2, X3, X4, row2colcE_out_ga(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), []) → U87_gaaa(X1, X2, X3, X4, X5, row2colcF_in_gaa(X2, X4, X5))
U87_gaaa(X1, X2, X3, X4, X5, row2colcF_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), [])
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5)) → U88_gaaa(X1, X2, X3, X4, X5, row2colcG_in_gaa(X2, X4, X5))
U88_gaaa(X1, X2, X3, X4, X5, row2colcG_out_gaa(X2, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), [], .([], X5))
row2colcH_in_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6)) → U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_in_gaaa(X2, X4, X5, X6))
U89_gaaa(X1, X2, X3, X4, X5, X6, row2colcH_out_gaaa(X2, X4, X5, X6)) → row2colcH_out_gaaa(.(X1, X2), .(.(X1, X3), X4), .(X3, X5), .([], X6))
U85_gaaa(X1, X2, X3, X4, X5, row2colcH_out_gaaa(X2, X3, X4, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X3), .([], X4), .([], X5))
PI_IN_GAAAG(X1, .(X5, X6)) → U44_GAAAG(X1, X5, X6, row2colcH_in_gaaa(X1))
U44_GAAAG(X1, X5, X6, row2colcH_out_gaaa(X1, X4)) → PI_IN_GAAAG(X5, X6)
row2colcH_in_gaaa([]) → row2colcH_out_gaaa([], [])
row2colcH_in_gaaa(.(X1, X2)) → U76_gaaa(X1, X2, row2colcA_in_g(X2))
row2colcA_in_g([]) → row2colcA_out_g([])
row2colcA_in_g(.(X1, X2)) → U48_g(X1, X2, row2colcA_in_g(X2))
U48_g(X1, X2, row2colcA_out_g(X2)) → row2colcA_out_g(.(X1, X2))
U76_gaaa(X1, X2, row2colcA_out_g(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U77_gaaa(X1, X2, row2colcB_in_ga(X2))
row2colcB_in_ga([]) → row2colcB_out_ga([])
row2colcB_in_ga(.(X1, X2)) → U49_ga(X1, X2, row2colcA_in_g(X2))
U49_ga(X1, X2, row2colcA_out_g(X2)) → row2colcB_out_ga(.(X1, X2))
row2colcB_in_ga(.(X1, X2)) → U50_ga(X1, X2, row2colcB_in_ga(X2))
row2colcB_in_ga(.(X1, X2)) → U51_ga(X1, X2, row2colcB_in_ga(X2))
U51_ga(X1, X2, row2colcB_out_ga(X2)) → row2colcB_out_ga(.(X1, X2))
U50_ga(X1, X2, row2colcB_out_ga(X2)) → row2colcB_out_ga(.(X1, X2))
U77_gaaa(X1, X2, row2colcB_out_ga(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U78_gaaa(X1, X2, row2colcC_in_ga(X2))
row2colcC_in_ga([]) → row2colcC_out_ga([], [])
row2colcC_in_ga(.(X1, X2)) → U52_ga(X1, X2, row2colcA_in_g(X2))
U52_ga(X1, X2, row2colcA_out_g(X2)) → row2colcC_out_ga(.(X1, X2), [])
row2colcC_in_ga(.(X1, X2)) → U53_ga(X1, X2, row2colcC_in_ga(X2))
U53_ga(X1, X2, row2colcC_out_ga(X2, X3)) → row2colcC_out_ga(.(X1, X2), .([], X3))
U78_gaaa(X1, X2, row2colcC_out_ga(X2, X3)) → row2colcH_out_gaaa(.(X1, X2), .([], X3))
row2colcH_in_gaaa(.(X1, X2)) → U79_gaaa(X1, X2, row2colcD_in_gaa(X2))
row2colcD_in_gaa([]) → row2colcD_out_gaa([], [])
row2colcD_in_gaa(.(X1, X2)) → U54_gaa(X1, X2, row2colcA_in_g(X2))
U54_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcD_out_gaa(.(X1, X2), [])
row2colcD_in_gaa(.(X1, X2)) → U55_gaa(X1, X2, row2colcB_in_ga(X2))
U55_gaa(X1, X2, row2colcB_out_ga(X2)) → row2colcD_out_gaa(.(X1, X2), [])
row2colcD_in_gaa(.(X1, X2)) → U56_gaa(X1, X2, row2colcC_in_ga(X2))
U56_gaa(X1, X2, row2colcC_out_ga(X2, X3)) → row2colcD_out_gaa(.(X1, X2), .([], X3))
row2colcD_in_gaa(.(X1, X2)) → U57_gaa(X1, X2, row2colcD_in_gaa(X2))
row2colcD_in_gaa(.(X1, X2)) → U58_gaa(X1, X2, row2colcB_in_ga(X2))
U58_gaa(X1, X2, row2colcB_out_ga(X2)) → row2colcD_out_gaa(.(X1, X2), [])
row2colcD_in_gaa(.(X1, X2)) → U59_gaa(X1, X2, row2colcD_in_gaa(X2))
U59_gaa(X1, X2, row2colcD_out_gaa(X2, X5)) → row2colcD_out_gaa(.(X1, X2), .([], X5))
U57_gaa(X1, X2, row2colcD_out_gaa(X2, X4)) → row2colcD_out_gaa(.(X1, X2), .([], X4))
U79_gaaa(X1, X2, row2colcD_out_gaa(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X4))
row2colcH_in_gaaa(.(X1, X2)) → U80_gaaa(X1, X2, row2colcB_in_ga(X2))
U80_gaaa(X1, X2, row2colcB_out_ga(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U81_gaaa(X1, X2, row2colcD_in_gaa(X2))
U81_gaaa(X1, X2, row2colcD_out_gaa(X2, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X5))
row2colcH_in_gaaa(.(X1, X2)) → U82_gaaa(X1, X2, row2colcE_in_ga(X2))
row2colcE_in_ga([]) → row2colcE_out_ga([])
row2colcE_in_ga(.(X1, X2)) → U60_ga(X1, X2, row2colcA_in_g(X2))
U60_ga(X1, X2, row2colcA_out_g(X2)) → row2colcE_out_ga(.(X1, X2))
row2colcE_in_ga(.(X1, X2)) → U61_ga(X1, X2, row2colcE_in_ga(X2))
row2colcE_in_ga(.(X1, X2)) → U62_ga(X1, X2, row2colcE_in_ga(X2))
U62_ga(X1, X2, row2colcE_out_ga(X2)) → row2colcE_out_ga(.(X1, X2))
U61_ga(X1, X2, row2colcE_out_ga(X2)) → row2colcE_out_ga(.(X1, X2))
U82_gaaa(X1, X2, row2colcE_out_ga(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U83_gaaa(X1, X2, row2colcF_in_gaa(X2))
row2colcF_in_gaa([]) → row2colcF_out_gaa([])
row2colcF_in_gaa(.(X1, X2)) → U63_gaa(X1, X2, row2colcA_in_g(X2))
U63_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcF_out_gaa(.(X1, X2))
row2colcF_in_gaa(.(X1, X2)) → U64_gaa(X1, X2, row2colcB_in_ga(X2))
U64_gaa(X1, X2, row2colcB_out_ga(X2)) → row2colcF_out_gaa(.(X1, X2))
row2colcF_in_gaa(.(X1, X2)) → U65_gaa(X1, X2, row2colcB_in_ga(X2))
U65_gaa(X1, X2, row2colcB_out_ga(X2)) → row2colcF_out_gaa(.(X1, X2))
row2colcF_in_gaa(.(X1, X2)) → U66_gaa(X1, X2, row2colcE_in_ga(X2))
U66_gaa(X1, X2, row2colcE_out_ga(X2)) → row2colcF_out_gaa(.(X1, X2))
row2colcF_in_gaa(.(X1, X2)) → U67_gaa(X1, X2, row2colcF_in_gaa(X2))
row2colcF_in_gaa(.(X1, X2)) → U68_gaa(X1, X2, row2colcE_in_ga(X2))
U68_gaa(X1, X2, row2colcE_out_ga(X2)) → row2colcF_out_gaa(.(X1, X2))
row2colcF_in_gaa(.(X1, X2)) → U69_gaa(X1, X2, row2colcF_in_gaa(X2))
U69_gaa(X1, X2, row2colcF_out_gaa(X2)) → row2colcF_out_gaa(.(X1, X2))
U67_gaa(X1, X2, row2colcF_out_gaa(X2)) → row2colcF_out_gaa(.(X1, X2))
U83_gaaa(X1, X2, row2colcF_out_gaa(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U84_gaaa(X1, X2, row2colcG_in_gaa(X2))
row2colcG_in_gaa([]) → row2colcG_out_gaa([], [])
row2colcG_in_gaa(.(X1, X2)) → U70_gaa(X1, X2, row2colcA_in_g(X2))
U70_gaa(X1, X2, row2colcA_out_g(X2)) → row2colcG_out_gaa(.(X1, X2), [])
row2colcG_in_gaa(.(X1, X2)) → U71_gaa(X1, X2, row2colcC_in_ga(X2))
U71_gaa(X1, X2, row2colcC_out_ga(X2, X3)) → row2colcG_out_gaa(.(X1, X2), .([], X3))
row2colcG_in_gaa(.(X1, X2)) → U72_gaa(X1, X2, row2colcE_in_ga(X2))
U72_gaa(X1, X2, row2colcE_out_ga(X2)) → row2colcG_out_gaa(.(X1, X2), [])
row2colcG_in_gaa(.(X1, X2)) → U73_gaa(X1, X2, row2colcG_in_gaa(X2))
row2colcG_in_gaa(.(X1, X2)) → U74_gaa(X1, X2, row2colcE_in_ga(X2))
U74_gaa(X1, X2, row2colcE_out_ga(X2)) → row2colcG_out_gaa(.(X1, X2), [])
row2colcG_in_gaa(.(X1, X2)) → U75_gaa(X1, X2, row2colcG_in_gaa(X2))
U75_gaa(X1, X2, row2colcG_out_gaa(X2, X5)) → row2colcG_out_gaa(.(X1, X2), .([], X5))
U73_gaa(X1, X2, row2colcG_out_gaa(X2, X4)) → row2colcG_out_gaa(.(X1, X2), .([], X4))
U84_gaaa(X1, X2, row2colcG_out_gaa(X2, X4)) → row2colcH_out_gaaa(.(X1, X2), .([], X4))
row2colcH_in_gaaa(.(X1, X2)) → U85_gaaa(X1, X2, row2colcH_in_gaaa(X2))
row2colcH_in_gaaa(.(X1, X2)) → U86_gaaa(X1, X2, row2colcE_in_ga(X2))
U86_gaaa(X1, X2, row2colcE_out_ga(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U87_gaaa(X1, X2, row2colcF_in_gaa(X2))
U87_gaaa(X1, X2, row2colcF_out_gaa(X2)) → row2colcH_out_gaaa(.(X1, X2), [])
row2colcH_in_gaaa(.(X1, X2)) → U88_gaaa(X1, X2, row2colcG_in_gaa(X2))
U88_gaaa(X1, X2, row2colcG_out_gaa(X2, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X5))
row2colcH_in_gaaa(.(X1, X2)) → U89_gaaa(X1, X2, row2colcH_in_gaaa(X2))
U89_gaaa(X1, X2, row2colcH_out_gaaa(X2, X6)) → row2colcH_out_gaaa(.(X1, X2), .([], X6))
U85_gaaa(X1, X2, row2colcH_out_gaaa(X2, X5)) → row2colcH_out_gaaa(.(X1, X2), .([], X5))
row2colcH_in_gaaa(x0)
row2colcA_in_g(x0)
U48_g(x0, x1, x2)
U76_gaaa(x0, x1, x2)
row2colcB_in_ga(x0)
U49_ga(x0, x1, x2)
U51_ga(x0, x1, x2)
U50_ga(x0, x1, x2)
U77_gaaa(x0, x1, x2)
row2colcC_in_ga(x0)
U52_ga(x0, x1, x2)
U53_ga(x0, x1, x2)
U78_gaaa(x0, x1, x2)
row2colcD_in_gaa(x0)
U54_gaa(x0, x1, x2)
U55_gaa(x0, x1, x2)
U56_gaa(x0, x1, x2)
U58_gaa(x0, x1, x2)
U59_gaa(x0, x1, x2)
U57_gaa(x0, x1, x2)
U79_gaaa(x0, x1, x2)
U80_gaaa(x0, x1, x2)
U81_gaaa(x0, x1, x2)
row2colcE_in_ga(x0)
U60_ga(x0, x1, x2)
U62_ga(x0, x1, x2)
U61_ga(x0, x1, x2)
U82_gaaa(x0, x1, x2)
row2colcF_in_gaa(x0)
U63_gaa(x0, x1, x2)
U64_gaa(x0, x1, x2)
U65_gaa(x0, x1, x2)
U66_gaa(x0, x1, x2)
U68_gaa(x0, x1, x2)
U69_gaa(x0, x1, x2)
U67_gaa(x0, x1, x2)
U83_gaaa(x0, x1, x2)
row2colcG_in_gaa(x0)
U70_gaa(x0, x1, x2)
U71_gaa(x0, x1, x2)
U72_gaa(x0, x1, x2)
U74_gaa(x0, x1, x2)
U75_gaa(x0, x1, x2)
U73_gaa(x0, x1, x2)
U84_gaaa(x0, x1, x2)
U86_gaaa(x0, x1, x2)
U87_gaaa(x0, x1, x2)
U88_gaaa(x0, x1, x2)
U89_gaaa(x0, x1, x2)
U85_gaaa(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs: